Publikace
Počet publikací: 3177
Články ve sbornících
-
Mezi křižovníky, premonstráty a mendikanty: církevní správa Znojma v první polovině 13. století
Morava v proměnách dlouhého 13. století, rok: 2024
-
Minuska: Towards a Formally Verified Programming Language Framework
22nd International Conference on Software Engineering and Formal Methods, rok: 2024
-
"Mne NEVYNOSIMY samyje slova èti, terminy..." : ocenka rečevych faktov v russkoj dokumental'noj i publicističeskoj literature pervoj četverti XX veka
Revitalizace hodnot : umění a literatura VI, rok: 2024
-
Moderace trestu - žalobcova marná naděje nebo nepostradatelný korektiv?
Rok: 2024
-
Monitizer: Automating Design and Evaluation of Neural Network Monitors
Computer Aided Verification, rok: 2024
-
Multi-Floor Warehouse Planning
Knowledge Engineering for Planning and Scheduling, rok: 2024
-
Muzeum škole - škola muzeu: Možnosti participace studentů na edukačních programech a interpretaci kulturního dědictví
Rok: 2024
-
Named Entity Linking in English-Czech Parallel Corpus
Text, Speech, and Dialogue, 27th International Conference, TSD 2024, Part I, rok: 2024
-
Někotoryje osobennosti iděologii v Drevněj Rusi
Naučnoje nasledije professora A.P. Pronštějna i aktual'nye problemy istoričeskoj nauki (k 105-letiju so dnja rožděnija vydajuščegosja rossijskogo učenogo) : matěrialy vserossijskoj (s meždunarodnym učastijem) naučno-praktičeskoj konferencii, 21. – 22. 3. 2024, Rostov na Donu, rok: 2024
-
Nesezdané soužití – přehlížená sociální realita?
Konference Cofola 2024, rok: 2024